/* 
   ===================================================================
   File: style.css
   Author:Alexander Deichman
   Date: Noovember 13, 2002
   Last Updated: November 13, 2002
   Description: This is a style sheet for my "home page".
   ===================================================================
*/

/* ============================= BODY ============================= */

/* Body */

body { 
  color: #000000;
  background: url(background.jpg) #3366FF;
  font-family: sans-serif, verdana, arial, helvetica, tahoma;
  font-size: small;
}


/* Footer (Signature, Policy, Contact Information) */

.foot {
  width: 100%;
  background-color: #eee;
  text-align: center;
}

/* ============================= TEXT ============================= */

/* Headings */

h1 {
  text-align: center;
  font-weight: normal;
  color: #0450a4; 
}

h2 {
  text-align: left;
  font-weight: normal;
  color: #00004c; 
}

h3 {
  text-align: left;
  font-weight: normal;
  color: #00004c; 
}

h4 {
  text-align: left;
  font-weight: normal;
  color: #00004c; 
}
.important{
  text-align: center;
  font-weight: bold;
  color: #990000; 
}

.old{
  text-align: left;
  font-weight: normal;
  color: #0000EE; 
}
/* Notes */
.note {
	width: 100%;
  border: none;
  padding: 2px;
	}
/* Code */

pre.code {
  width: 100%;
  border: none;
  padding: 2px;
  background-color: #eef;
}

/* Markup */

pre.markup {
  width: 100%;
  border: none;
  padding: 2px;
  background-color: #eee;
}

/* DTD */

pre.dtd {
  width: 100%;
  border: none;
  padding: 2px;
  background-color: #efe;
}

/* Quote */

.quote {
  width: 95%;
  border: solid 1px rgb(000, 000,000);
  background-color: #eff;
  padding: 2px;
  margin-left: 1cm;
}

/* Citation */

.citation {
  width: 100%;
  border: none;
  background-color: #eff;
  padding: 2px;
}

/* EBNF */

pre.ebnf {
  width: 100%;
  border: solid 1px rgb(000,000,000);
  background-color: #cef;
  padding: 2px;
}

code.element {
  font-weight: bold;
  color: #00552B;
}

code.attribute {
  font-weight: bold;
  color: #550000;
}
/* ========================== STRUCTURES ========================== */

/* Horizontal Rule */

hr { 
  color: rgb(128,128,128); 
  border-top: normal;
}

/* Lists */

ul {
  list-style-type: square;
}

/* Tables */

table {
  background-color: #e0f7fe;
}

/* Forms */

form {
  width: 100%;
  border: none;
  background-color: #dff;
  padding: 2px;
}

/* ========================== NAVIGATION ============================ */

.navigation {
  width: 100%;
  color: #000000; 
  background-color: #3333a9;
  padding: 1px;
  text-align: center;
  font-weight: normal;
}

/* Navigation Links */

.navigation a:link {
  color: #000000; 
  text-decoration: none;
}

.navigation a:active {
  color: #000000; 
  text-decoration: none;
}

.navigation a:visited {
  color: #000000; 
  text-decoration: none;
}

.navigation a:hover {
  background: #0050b2; 
  color: #fffff0;
}

/* ============================ LINKS ============================= */

/* Links */

a:link {
  background: none transparent scroll repeat 0% 0%; 
  color: #000011; 
  text-decoration: underline;
}
a:active {
  background: none transparent scroll repeat 0% 0%; 
  color: #ff0000; 
  text-decoration: underline;
}
a:visited {
  background: none transparent scroll repeat 0% 0%; 
  color: #400080; 
  text-decoration: underline;
}
a:hover {
  background: #0050b2; 
  color: #fffff0;
}

/* =======================Font Definitions ========================== */
 @font-face
	{font-family:"Monotype Corsiva";
	panose-1:3 1 1 1 1 2 1 1 1 1;
	mso-font-charset:0;
	mso-generic-font-family:script;
	mso-font-pitch:variable;
	mso-font-signature:647 0 0 0 159 0;}
 /* Style Definitions */
 .MsoNormal
	{mso-style-parent:"";
	margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	font-size:12.0pt;
	font-family:"Times New Roman";
	mso-fareast-font-family:"Times New Roman";}